Perfect GMV-Algebras
نویسندگان
چکیده
The focus of this paper is the class of perfect GMV-algebras, which includes all non-commutative analogues of perfect MV-algebras. As in the commutative case, we show that each perfect GMV-algebra possesses a single negation, it is generated by its infinitesimal elements, and can be realized as an interval in a lexicographical product of the lattice-ordered group of integers and an arbitrary lattice-ordered
منابع مشابه
Monadic GMV-algebras
Monadic MV –algebras are an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs. GMV -algebras are a non-commutative generalization of MV -algebras and are an algebraic counterpart of the non-commutative Lukasiewicz infinite valued logic. We introduce monadic GMV -algebras and describe their connections to certain ...
متن کاملFunctional representations and universals for MV- and GMV-algebras
We represent every normal-valued GMV-algebra as a GMV-algebra of real-valued functions; we also describe the universal MV-algebras and universal normal-valued GMV-algebras with a prescribed set of components.
متن کاملEmbedding theorems for classes of GBL-algebras
The poset product construction is used to derive embedding theorems for several classes of generalized basic logic algebras (GBL-algebras). In particular it is shown that every n-potent GBL-algebra is embedded in a poset product of finite n-potent MV-chains, and every normal GBL-algebra is embedded in a poset product of totally ordered GMV-algebras. Representable normal GBLalgebras have poset p...
متن کاملThe Blok-Ferreirim theorem for normal GBL-algebras and its application
Generalized basic logic algebras (GBL-algebras for short) have been introduced in [JT02] as a generalization of Hájek’s BL-algebras, and constitute a bridge between algebraic logic and l-groups. In this paper we investigate normal GBL-algebras, that is, integral GBL-algebras in which every filter is normal. For these structures we prove an analogue of Blok and Ferreirim’s [BF00] ordinal sum dec...
متن کاملFilter Theory of Bounded Residuated Lattice Ordered Monoids
Bounded residuated lattice ordered monoids (R -monoids) are a common generalization of pseudo-BL-algebras and Heyting algebras, i.e. algebras of the non-commutative basic fuzzy logic (and consequently of the basic fuzzy logic, the Łukasiewicz logic and the non-commutative Łukasiewicz logic) and the intuitionistic logic, respectively. In the paper we introduce and study classes of filters of bou...
متن کامل